Windows on Black Boxes ?
نویسنده
چکیده
This paper provides an overview of the survey-based literature on industrial Research and Development (R&D) laboratories, beginning with the work of Edwin Mansfield. Topics covered include R&D projects, new products, and new processes; the appropriability of intellectual property; the limits of the firm in R&D; and spillovers of knowledge from other firms and universities into the laboratories. I discuss the value of collecting information from industrial R&D managers, who participate in a wide range of R&D decisions and are the natural best source of information on these decisions. I also emphasize gaps in our knowledge concerning R&D from past studies, such as the private and social returns to R&D, the nature of firms’ R&D portfolios, and other topics. The paper closes with a discussion of the benefits from building a national database on R&D laboratories that could be shared among researchers and that could take this area of research to a new and higher level of achievement.
منابع مشابه
Symbolic CTL Model Checking for Incomplete Designs by Selecting Property-Specific Subsets of Local Component Assumptions
Black Box symbolic model checking is a method to check whether an incompletely specified circuit, in which some parts of the design have been replaced by ‘Black Boxes’, satisfies a CTL property regardless of the actual replacement of the Black Boxes. One possible application is model checking with abstraction where complex parts of the design (which are not really relevant for the property at h...
متن کاملVerifying Designs Containing Black Boxes
We deene a notion of equivalence for designs containing black boxes. This notion is applicable to both gate-level designs, as well as designs operating on integer variables. Using this notion, we describe a sound and complete methodology for optimizing designs containing black boxes, i.e. components whose functionality is not known; these arise naturally in the course of hierarchical design.
متن کاملLogic Optimization of Designs Containing Black Boxes
We deene a notion of equivalence for designs containing black boxes. Using this notion, we describe a sound and complete methodology for optimizing designs containing black boxes, i.e. components whose functionality is not known; these arise naturally in the course of hierarchical design.
متن کاملObject proposal on RGB-D images via elastic edge boxes
As a fundamental preprocessing of various multimedia applications, object proposal aims to detect the candidate windows possibly containing arbitrary objects in images with two typical strategies, window scoring and grouping. In this paper, we first analyze the feasibility of improving object proposal performance by integrating window scoring and grouping strategies. Then, we propose a novel ob...
متن کاملRealisation of "Black Boxes" Using Machines
Modern engineering solutions attract attention of researchers to well-known problems in the field of system theory and cybernetics in general. The realisation problem of a “black box” is one among these problems. In this paper the non-anticipation property for a “black box” is generalised to the case of “black boxes”, whose behaviour admits deferred decisions. Furthermore, for such “black boxes...
متن کاملFlexible Modeling of Unknowns in Model Checking for Incomplete Designs
We consider the problem of checking whether an incomplete design (i.e. a design containing so-called Black Boxes) can still be extended to a complete design satisfying a given property or whether the property is satisfied for all possible extensions. In this paper we extend a method based on a series of approximate, yet sound algorithms to prove or disprove CTL properties for incomplete designs...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004